21. Domain-specific program generation : International Seminar, Dagstuhl Castle, Germany, March 23-28, 2003 : revised papers
Author: Christian Lengauer... ]et al.[ )eds.(
Library: Library of Institute for Research in Fundamental Sciences (Tehran)
Subject: Congresses ، Generative programming )Computer science(,Congresses ، Programming languages )Electronic computers(,Congresses ، Parallel programming )Computer science(
Classification :
QA
76
.
L28
Vol
.
3016
22. Domain-theoretic foundations of functional programming
Author: / Thomas Streicher
Library: Library of Campus2 Colleges of Engineering of Tehran University (Tehran)
Subject: Programming languages (Electronic computers) -- Semantics,Computer science -- Mathematics,Functionele programmering,Domein (wiskunde)
Classification :
QA
76
.
7
.
S818
2006
23. Essential.NET
Author: / Don Box, with Chris Sells
Library: Central Library and Information Center of the University of Mohaghegh Ardabili (Ardabil)
Subject: Microsoft .NET,Common Language Runtime (Computer science),Component software,Programming languages (Electronic computers)
Classification :
QA76
.
76
.
M52
,
B69
2003
24. Expert advisor programming :
Author: Andrew R. Young.
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Expert systems (Computer science),Foreign exchange -- Computer programs.,Programming languages (Electronic computers)
Classification :
Z52
.
5
.
M52
A537
2010
25. Exploring Robotics with ROBOTIS Systems
Author: Chi N. Thai
Library: Library of Foreign Languages and Islamic Sources (Qom)
Subject: Computer science. , Programming languages (Electronic computers) , Artificial intelligence.
Classification :
E-Book
,
26. Formal Methods and Software Development :
Author: edited by Hartmut Ehrig, Christiane Floyd, Maurice Nivat, James Thatcher.
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Computer science.,Programming languages (Electronic computers),Software engineering.
27. Formal and natural computing : essays dedicated to Grzegorz Rozenberg
Author: Wilfried Brauer...]et al.[ )eds.(
Library: Library of Institute for Research in Fundamental Sciences (Tehran)
Subject: ، Programming languages )Electronic computers(,، Computer science -- Mathematics,، Machine theory,، Petri nets,، Graph grammars,، Rozenberg, Grzegorz
Classification :
QA
76
.
L28
Vol
.
2300
28. Foundations of Programming Languages /
Author: by Kent D. Lee.
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Computer science.,Microprogramming.,Programming languages (Electronic computers),Computer science.,Computer Science.,Control Structures and Microprogramming.,Mathematical and Computational Engineering.,Microprogramming.,Programming languages (Electronic computers),Programming Languages, Compilers, Interpreters.,Computer science.,Microprogramming.,Programming languages (Electronic computers)
Classification :
QA76
.
76
.
C65
29. Foundations of object-oriented languages
Author: / Kim B. Bruce
Library: Central Library and Document Center of Shahid Chamran University (Khuzestan)
Subject: Object-oriented programming (Computer science),Programming languages (Electronic computers)
Classification :
QA
,
76
.
64
,.
B776
,
2002
30. Foundations of object-oriented languages: REX School/Workshop, Noordwijkerhout, the Netherlands, May 28-June 1, 1990: Proceedings
Author:
Library: Central Library of Sharif University of Technology (Tehran)
Subject: ، Object-oriented programming )Computer science(-- Congresses,، Programming languages )Electronic computers(-- Congresses
Classification :
QA
76
.
64
.
R49
1990
31. Foundations of object-oriented languages : REX School/Workshop Noordwijkerhout, the Netherlands, May 28-June 1, 1990 : Proceedings
Author: J.W. de Bakker, W.P. de Roever, G. Rozenberg, )eds.(
Library: Library of Institute for Research in Fundamental Sciences (Tehran)
Subject: Congresses ، Object-oriented programming )Computer science(,Congresses ، Programming languages )Electronic computers(
Classification :
QA
76
.
L28
Vol
.
489
32. Fundamentals of Python :
Author: Kenneth A. Lambert.
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Programming languages (Electronic computers),Python (Computer program language),Data structures (Computer science),Object-oriented programming (Computer science),Python (Computer program language)
Classification :
QA76
.
73
.
P98
L353
2019
33. Generalized quantifiers and computation
Author: Jouko Väänänen (ed.).
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Computer logic, Congresses.,Computer science-- Mathematics, Congresses.,Programming languages (Electronic computers), Congresses.
34. Generalized quantifiers and computation : 9th European Summer School in Logic, Language, and Information, ESSLLI'97 Workshop : Aix-en-Provence, France, August 11-12, 1997 : revised lectures
Author: Jouko Vaananen )ed.(
Library: Library of Institute for Research in Fundamental Sciences (Tehran)
Subject: ، Computer science -- Mathematics,، Computer logic,، Programming languages )Electronic computers(
Classification :
QA
76
.
L28
Vol
.
1754
35. Grammars and automata for string processing: from mathematics and computer science to biology, and back
Author:
Library: Central Library of Sharif University of Technology (Tehran)
Subject: ، Computer science,، Programming languages )Electronic computers(-- Mathematics,، Mathematical linguistics,، Formal languages
Classification :
QA
76
.
G64
2003
36. Grammars and automata for string processing : from mathematics and computer science to biology, and back
Author: edited by Carlos Martin-Vide and Victor Mitrana
Library: Library of Institute for Research in Fundamental Sciences (Tehran)
Subject: Mathematics ، Computer science,Mathematics ، Programming languages )Electronic computers(,، Mathematical linguistics,، Formal languages,، Molecular biology,، Paun, Gheorghe, 0591-
Classification :
QA
76
.
G69
37. Graph data model and its data language
Author: / Hideko S. Kunii
Library: Central Library of Imam Khomeini International University of Qazvin (Qazvin)
Subject: Data base management,Data structures (Computer science),Programming languages (Electronic computers)
Classification :
QA76
.
9
.
D3K86
1990
38. Great papers in computer science
Author: Laplante, Philip
Library: Library of Niroo Research Institue (Tehran)
Subject: ، Computer science,، Programming languages )Electronic computers(
Classification :
QA
76
.
L36
39. Indexing techniques for advanced database systems
Author:
Library: Central Library of Sharif University of Technology (Tehran)
Subject: ، Object-oriented databases,، Object-oriented programming )Computer science(,، Database management,، Programming languages )Electronic computers(
Classification :
QA
76
.
9
.
D3
.
I523
1997
40. Initial computability, algebraic specifications, and partial algebras
Author: / by Horst Reichel
Library: Library of Campus2 Colleges of Engineering of Tehran University (Tehran)
Subject: Computer science - Mathematics,Data structures (Computer science),Programming languages (Electronic computers) - Semantics,Partial algebras
Classification :
QA
76
.
9
.
M35R45
1987
